$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. [$e$, ${\it e'}$] $\in$ E List